En mathématiques et en théorie des ensembles, L`univers constructible, ou L`univers constructible de Gödel, noté L, est une classe d`ensembles qui peuvent entièrement être décrits en termes d`ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . L...